401. R for everyone :
پدیدآورنده: Jared P. Lander.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع: Computer simulation.,R (Computer program language),Scripting languages (Computer science),Statistics-- Data processing.,Statistics-- Graphic methods-- Data processing.,Computer simulation.,COMPUTERS / Mathematical & Statistical Software,COMPUTERS / Programming Languages / General,R (Computer program language),Scripting languages (Computer science),Statistics-- Data processing.,Statistics-- Graphic methods-- Data processing.
رده :
QA76
.
73
.
R3
402. Reachability problems :
پدیدآورنده: Igor Potapov, Pierre-Alain Reynier (eds.).
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع: Computer science-- Mathematics, Congresses.,Computer systems-- Verification, Congresses.,Decidability (Mathematical logic), Congresses.,Logics and Meanings of Programs.,Math Applications in Computer Science.,Numeric Computing.,Probability and Statistics in Computer Science.,Computer programming / software development.,Computer science-- Mathematics.,Computer systems-- Verification.,Computers-- Data Processing.,Computers-- Mathematical & Statistical Software.,Computers-- Programming-- Algorithms.,Computers-- Programming-- General.,Decidability (Mathematical logic),Mathematical theory of computation.,Maths for computer scientists.
رده :
QA76
.
76
.
V47
403. Real-Time Database Systems
پدیدآورنده: edited by Azer Bestavros, Kwei-Jay Lin, Sang Hyuk Son.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع: Computer science.,Data structures (Computer science).,Software engineering.
404. Real-Time Database and Information Systems: Research Advances
پدیدآورنده: edited by Azer Bestavros, Victor Fay-Wolfe.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع: Computer science.,Data structures (Computer science).,Information storage and retrieval systems.,Software engineering.
405. Research in Computational Molecular Biology
پدیدآورنده: edited by Benny Chor
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع: Artificial intelligence,Bioinformatics,Computer science,Computer software,Data structures (Computer science),Database management,Algorithm Analysis and Problem Complexity,Artificial Intelligence (incl. Robotics),Computation by Abstract Devices,Computational Biology/Bioinformatics,Computer Science,Data Structures,Database Management
406. STACS 87 :
پدیدآورنده: edited by Franz J. Brandenburg, Guy Vidal-Naquet, Martin Wirsing.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع: Algorithms.,Computer science.,Computers.
408. Sharing data and models in software engineering /
پدیدآورنده: Tim Menzies, Ekrem Kocaguneli, Leandro Minku, Fayola Peters, Burak Turhan
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع: Data structures (Computer science),Software engineering
رده :
QA76
.
758
409. Shortest path solvers :
پدیدآورنده: Andrew Adamatzky, editor.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع: Cellular automata.,Computer algorithms.,Mathematical optimization.,Artificial intelligence.,Cellular automata.,Computer algorithms.,COMPUTERS-- General.,Cybernetics & systems theory.,Mathematical optimization.
رده :
QA76
.
9
.
A43
410. Sicherheitskonzepte für das Internet :
پدیدآورنده: herausgegeben von Günter Müller, Martin Reichenbach.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع: Computer science.,Data structures (Computer science),Software engineering.
رده :
QA76
.
9
.
D35
H473
2001
411. Similarity Search and Applications :
پدیدآورنده: edited by Nieves Brisaboa, Oscar Pedreira, Pavel Zezula.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع: Computer science.,Computer software.,Data structures (Computer science)
رده :
Z667
.
E358
2013
412. Simulation and visualization on the grid :
پدیدآورنده: [Seventh Annual PDC Conference on High-Performance Computing]. Björn Engquist ... (ed.).
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع: Computer simulation -- Congresses.,Computer simulation.,Visualization -- Congresses.
413. Simulation and visualization on the grid :
پدیدآورنده: [Seventh Annual PDC Conference on High-Performance Computing]. Björn Engquist ... (ed.).
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع: Computer simulation -- Congresses.,Computer simulation.,Visualization -- Congresses.
رده :
QA76
.
9
.
C65
S484
2000
414. Software Pioneers :
پدیدآورنده: edited by Manfred Broy, Ernst Denert.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع: Computer science.,Software engineering.
رده :
QA76
.
2
.
A2
E358
2002
415. Software Product Lines
پدیدآورنده: edited by Patrick Donohoe.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع: Computer science.,Data structures (Computer science).,Machinery.,Operations research.,Software engineering.
416. Software Prototyping in Data and Knowledge Engineering
پدیدآورنده: by Giovanni Guida, Gianfranco Lamperti, Marina Zanella.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع: Artificial intelligence.,Computer science.,Data structures (Computer science).,Software engineering.
417. Software and data technologies :
پدیدآورنده: María José Escalona, José Cordeiro, Boris Shishkov, (eds.).
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع: Data structures (Computer science) -- Congresses.,Database management -- Congresses.,Software engineering -- Congresses.
418. Software design and data structures in Turbo Pascal
پدیدآورنده: Koffman, Elliot B.
کتابخانه: کتابخانه مرکزی دانشگاه صنعتی امیرکبیر (تهران)
موضوع: Software engineering, Data structures )Computer science(, Turbo Pascal )Computer file(
رده :
QA
76
.
758
.
K68
1994
419. Specification and Transformation of Programs :
پدیدآورنده: by Helmut A. Partsch.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع: Computer science.,Data structures (Computer science),Software engineering.
رده :
QA76
.
76
.
D47
B944
1990
420. Speech and computer :
پدیدآورنده: Miloš Železný, Ivan Habernal, Andrey Ronzhin (eds.)
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع: Artificial intelligence, Congresses,Computer science, Congresses,Computer vision, Congresses,Database management, Congresses,Information storage and retrieval systems, Congresses,Optical pattern recognition, Congresses
رده :
QA75
.
5
.
I58
2013
